(set-logic QF_ALL)
(set-info :status sat)
(set-option :produce-models true)
(set-option :sets-ext true)
(declare-datatype Color ((Red) (Green) (Blue)))
(declare-fun A () (Set (Array Color Color)))
(declare-fun B () (Set (Array Color Color)))
(assert (> (set.card A) 25))
(assert (> (set.card B) 25))
(assert (distinct A B))
(check-sat)
